1. From sets and types to topology and analysis
پدیدآورنده : edited by Laura Crossila and Peter Schuster
کتابخانه: (کرمان)
موضوع : Constructive mathematics- Congresses,Constructieve wiskunde.- gtt,Analyse )wiskunde(- gtt,Topologie.- gtt
رده :
QA
9
.
56
.
F76
2005